#/!/bin/bash
if [ "$(pwd)" != "$(realpath $(dirname $0))" ]
then
  echo Error: This script needs to be executed from within it\'s directory:
  echo $(realpath $(dirname $0))
  exit 1
fi
make extensions
make
export GLEW_DEST=./install/linux
make install
